Types and Programming Languages - PDFSEARCH.IO - Document Search Engine

Types and Programming Languages
Results: 543

#	Item
191	Representation-based Just-in-time Specialization and the Psyco prototype for Python Armin Rigo Abstract. Add to Reading List Source URL: psyco.sourceforge.net Language: English - Date: 2010-07-16 05:28:24 Cross-platform software Type theory Data types Procedural programming languages C++ Eval Function C Variable Software engineering Computing Computer programming
192	Typelets — A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces Martin Elsman1 and Anders Schack-Nielsen2 1 University of Copenhagen, Universitetsparken 5, DK-2100 Copenhagen, Denmark Add to Reading List Source URL: hiperfit.dk Language: English Type theory Procedural programming languages Cross-platform software C++ Data types Type system Monad C++ classes Constructor Software engineering Computing Computer programming
193	8 Libraries Every language comes with collections of programs that are reusable by the programmer, called libraries. The quality and diversity of these programs are often some of the criteria one uses to assess the ease Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 02:41:37 Data types C++ Standard Library Functional languages Procedural programming languages Object-oriented programming Sequence container ALGOL 68 OCaml Fold Computing Software engineering Computer programming
194	Static Type Systems (Sometimes) have a Positive Impact on the Usability of Undocumented Software: An Empirical Evaluation Clemens Mayer, Stefan Hanenberg University Duisburg-Essen, Institute for Computer Science and Add to Reading List Source URL: swp.dcc.uchile.cl Language: English - Date: 2012-04-18 15:25:54 Cross-platform software Type theory Data types Java platform Scripting languages Type system Ada Objective-C Type safety Computing Software engineering Computer programming
195	Software Fault Prevention by Language Choice: Why C is Not My Favorite Language Richard Fateman∗ Computer Science Division Electrical Engineering and Computer Sciences Dept. University of California, Berkeley Add to Reading List Source URL: http.cs.berkeley.edu Language: English - Date: 2004-04-02 13:46:35 Lisp programming language Functional languages Common Lisp Data types Computer workstations Lisp Genera Assignment Preprocessor Computing Software engineering Computer programming
196	The ACK Modula-2 Compiler Ceriel J.H. Jacobs Department of Mathematics and Computer Science Vrije Universiteit Amsterdam The Netherlands Add to Reading List Source URL: tack.sourceforge.net Language: English - Date: 2011-02-11 16:00:24 Data types Procedural programming languages Modula-2 Pascal Pointer C Array data type Stack Enumerated type Software engineering Computing Computer programming
197	Formal Verification of a C Compiler Front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA Rocquencourt[removed]Le Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2006-05-16 04:47:55 Procedural programming languages Data types C++ Logic in computer science Programming language semantics Pointer C ALGOL 68 Monad Software engineering Computing Programming language theory
198	Certifying Compilation and Run-time Code Generation Luke Hornof Trevor Jim Computer and Information Science Department Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:24 C++ Procedural programming languages Data types Type theory Generic programming Cyclone X86 assembly language Template Type system Software engineering Computing Computer programming
199	Typing the Numeric Tower Vincent St-Amour1 , Sam Tobin-Hochstadt1 , Matthew Flatt2 , and Matthias Felleisen1 1 Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Data types Type theory Functional languages Computer arithmetic Program analysis Type system Subtype polymorphism Floating point C++ classes Software engineering Computing Programming language theory
200	Extracted from: iOS 8 SDK Development Creating iPhone and iPad Apps with Swift This PDF file contains pages extracted from iOS 8 SDK Development, published Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2015-03-31 12:25:59 Data types Procedural programming languages Array data type Initialization SQL C Is functions Computing Software engineering Computer programming

UPDATE